a + 2 = a + 3
